#include <lib.h>
#define dfs_stop _dfs_stop
#include <sys/types.h>
#include <stdio.h>
#include <dfs.h>
/*
 * Implementing of the library function for
 * the _dfs_stop system call
 */

PUBLIC int dfs_stop(){
	int r;
	message m;
	r= _syscall(DFS,DFS_STOP,&m);
	return r;
}
